Scientists, Engineers, Technocrats, Academicians, and Researchers have a vital role to play in the process of emergence of new theories, models, systems, and technologies. They also have a responsibility to harness these for common good and strive to prevent their possible ill effects in the era of rapid growth in technologies. ICM2ST-10 will play a significant role in generating awareness about the potential and the limitations of new technologies, concepts, theories, and trends. The chief objective of ICM2ST-10 is to bring (...) together experts from industries, academia, R&D institutions and other user communities on a common platform to discuss and share their expertise and experiences. (shrink)

This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2016, held in San Francisco, CA, USA, in July 2016. The 21 papers presented in this book were carefully reviewed and selected from 39 submissions. The papers address topics such as: Fundamentals; Quantum Cognition; Language and Applications; Contextuality and Foundations of Probability; and Quantum-Like Measurements.

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic (...) research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers. (shrink)

This article reports from the International Conference on Cyberlaw, Cybercrime & Cybersecurity. The Conference was addressed by more than 150 speakers backed by more than 80 supporters. It was a wonderful opportunity to network with international thought leaders under one roof.

The LNAI series reports state-of-the-art results in artificial intelligence research, development, and education, at a high level and in both printed and electronic form.

This volume contains the proceedings of DEON2020/2021, the 15th International Conference on Deontic Logic and Normative Systems that was organized by the Munich Center for Mathematical Philosophy at LMU Munich (Germany) on 21st-24th July, 2021. The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory, and law.

In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 24.1 (2004) 241-243 [Access article in PDF] International Conference on Religion and Globalization Ruben Habito Perkins School of Theology The International Conference on Religion and Globalization, with over two hundred participants from thirty-one countries, was hosted by Payap University and its Institute for the Study of Religion and Culture in Chiang Mai, Thailand, from 27 July to 2 August 2003, with the Society (...) for Buddhist-Christian Studies among the several cosponsoring organizations. Other sponsoring and cosponsoring organizations included the United Board for Christian Higher Education in Asia, the International Network of Engaged Buddhists, the Christian Conference of Asia, and the Museum of World Religions. Prof. John Butt, convener of the conference and director of the Institute for the Study of Religion and Culture, with other officials of Payap University, welcomed the delegates at the opening ceremonies on 27 July in a program that included musical and cultural presentations from the riches of the northern Thai heritage.Plenary speakers included Dharma Master Hsin Tao, founder of the Museum of World Religions based in Taipei, Taiwan, who spoke on "Education for Interreligious Understanding in a Global Age." Donald Swearer, of Swarthmore College and Harvard University, spoke on "Religious Identity and Globalization," with a provocative subtitle: "Would Jesus, Buddha, or Mohammed Drive an SUV?" He addressed sociological aspects of religious living in a globalized age, with particular reference to Thai society. Phra Paisan Wisalo, a noted Thai forest monk and ecological activist, spoke on the "Reform of the Thai Sangha in the Light of Global Realities." Dr. Wesley Ariarajah, a Methodist theologian from Sri Lanka who has worked for many years with the World Council of Churches, spoke on "Religious Diversity and Interfaith Relations in a Global Age."The Venerable Dhammananda (formerly known as Dr. Chatsumarn Kabilsingh) was scheduled to give a plenary address on "Women's Experience in Theravada Buddhism," but could not attend due to the untimely death of her beloved mother, the Ven.Voramai Kabilsingh, one of the pioneering twentieth-century bhiksuni s in Thailand. Mae Chee Vimuttiya delivered an address titled "The Tripitaka Answer to the Extremes in the Modern World." Episcopal Bishop John Shelby Spong (ret.) presented an address titled "Transcending the Limits of Religion in Search of the Wonder [End Page 241] of God," and spoke of challenges to Christian faith and life in a postmodern society. Muslim scholar and activist Chandra Muzaffar described the challenges to and prospects for the religions in the wake of the globalizing process in a plenary address titled "Religion and Society in a Global Age." Dr. Muzaffar's presentation succeeded in highlighting key issues faced by those sincerely looking for ways in which religious traditions and communities can contribute to global healing, rather than continue to be part of the problem that divides the human family. Michael von Brueck gave the final plenary address, titled "An Ethics of Justice in a Cross-Cultural Context," suggesting pathways for a hopeful future.In addition to the plenary addresses, there were twelve plenary panels covering various topics. These included "Education for Global Awareness," chaired by Ruben Habito; "Religion and Media in a Global Age," chaired by Louis Gabaude; "Interfaith Dialogue in a Global Age: Personal Testimonies," chaired by Donald Swearer with members from the Interreligious Group for Theological Encounters, better known as the Cobb-Abe group; "Religion and the Globalization of War," chaired by Nancy Martin; "The Shadow of Religion: Killing People and Making Peace," chaired by John Butt; "Women and Spirituality," chaired by Roshan Dhunjibhoy; "The Transformation of Religious Traditions through Global Interreligious Encounter," chaired by JosephRunzo;"Islam,Social Justice,andGlobalization," chairedby Chandra Muzaffar; "Pluralism, Human Rights, and Buddhism," chaired by Michael von Brueck; "Students of Subaltern and Superpower States: Intercultural Communicative Competence via Information Technology," chaired by Daniel Wessner; "Globalization and ReligiousVocation," chaired by Herbert Swanson; and "Contemporary Exemplars of Interreligious Bridge-Building: Thomas Merton and Bede Griffiths," chaired by Douglas Conlan. In addition to the plenary sessions, individual paper sessions were held in three concurrent groups, with more than sixty topics presented by scholars and religious leaders throughout the entire... (shrink)

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on (...) Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. (shrink)

During the fall of 2001 (October 22–25), The Norwegian Radiation Protection Authority (NRPA) and the Agricultural University of Norway arranged a consensus conference on the protection of the environment against ionising radiation. The motive for the conference was the need to study the ethical and philosophical basis for protection of nature in its own right. The conference was funded by Nordic Nuclear Safety Research (NKS), in cooperation with the International Union of Radioecology (IUR). The National Committee (...) for Research Ethics in Science and Technology (NENT) was hired as facilitators for the consensus process. This paper will give a brief outline of the aims and method of the conference, distinguishing these from other kinds of consensus conferences. The paper ends with some general reflections on the appropriateness of seeking consensus on ethics-related issues among experts. (shrink)

Proceedings of the First Conference of the International Society for Hermeneutics and Science.

Real life applications and case studies -- Commmunication and computing systems -- Mobile and ubiquitous computing -- Electrical and electronics systems -- Green computing and e-waste minimizations -- Image processing and applications -- Material science & technology -- Wired and wireless networks.

Recent advances in a variety of scientific disciplines have revealed the limitations of the Newtonian-Cartesian model of the universe. One of the interesting aspects of this development is the increasing convergence of science and the "perennial philosophy." The new research has led to a critical revaluation of ancient spiritual systems long ignored or rejected because of their assumed incompatibility with science. Here are Swami Muktananda on the mind. Swami Prajnananda on Karma. Swami Kripananda on the Kundalini. Ajit Mookerjee on the (...) Kundalini. Joseph Chilton Pearce on spiritual development. Mother Teresa on love and service. Jack Kornfield on Buddhism for Americans. Fritjof Capra on the new paradigms. Rupert Sheldrake on morphic resonance. Karl Pribram on the holographic model. Claudio Naranjo on meditation, and more. The papers in this book were presented at the seventh Conference of the International Transpersonal Association held in Bombay. The ITA is a non-profit organization that brings together individuals of different nationalities, professions, and philosophical or spiritual preferences who share in the view that there is a fundamental unity underlying all of humanity and the material world. The cover photo is from the William Rockhill Nelson Gallery of Art in the Atkins Museum of Fine Arts, Kansas City, Missouri. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 22 (2002) 207-208 [Access article in PDF] Society Cosponsors International Conference in Chiang Mai, Thailand Payap University and Payap University's Institute for the Study of Religion and Culture will be sponsoring a week-long International Academic Conference on "Religion and Globalization in Chiang Mai, Thailand" beginning the last week of July 2003. The conference is being cosponsored by the American Society for Buddhist-Christian (...) Studies. Ruben Habito, vice-president of the Society, is serving as a member of the planning committee and as the liaison between Payap University and the Society. Other members of the planning committee include Donald Swearer, Michael von Brueck, David Chappell, Wolfgang Schmidt, Parichart Suwanbubbha, Saeng Chandrangam, and John Butt. It is hoped that a large contingent of members of the American Society for Buddhist-Christian Studies will participate in the conference both by submitting academic papers and by attending.Other cosponsoring organizations include the International Network of Engaged Buddhists, the Museum of World Religions based in Taiwan, the International Buddhist-Christian Theological Encounter, the Church of Christ in Thailand (CCT), and a number of other academic and religious organizations from around the world and within Thailand.The conference will be held on the main Payap University campus beginning with dinner on Sunday evening, July 27. It will end with lunch on Saturday, August 2, 2003. Lodging will be provided at the four-star Amari Rincome Hotel located near the Payap campus. Following the conference, Payap is arranging for several optional post-conference excursions to important religious and historical sites in Thailand and neighboring countries for those wishing to extend their stay in Southeast Asia.The overall theme of the conference is "Religion and Globalization". Plenary speeches, academic papers, discussions, and workshops will be organized around three broad themes:Religious Diversity and Interfaith Relations in a Global Age This section will include topics concerning religious pluralism, missions, religious conflict and reconciliation, and religious dialogue.Religion and a Global Society This section will focus on specific topics related to issues of social and economic justice, such as the relation between religion and human rights, structural violence, gender, tourism, prostitution, HIV/AIDS, the natural environment, media, technology, arts, and culture. [End Page 207]Religious Reform and Reformulation for a Global Age This section will focus on the reformulation of religious teachings and doctrines as well as on reforms of religious rituals, practices, and institutions in relationship to globalization.Several reasons make Thailand an appropriate and attractive site for this conference. Thailand has the largest percentage of Buddhists of any country in the world. It also has significant Islamic, Christian, and Hindu minorities. Animistic beliefs and practices underlie the religious faith of most of the Thai people. Over the past century and especially during the past several decades the country and the region have experienced rapid and profound changes as a result of modernization and globalization. For all these reasons Chiang Mai presents an excellent venue for examining how the Theravada Buddhist tradition and other major religious traditions are affecting and being affected by globalization. In addition, the Chiang Mai area has been an important "crossroads" for various religious and cultural movements since the beginning of the Common Era. For over 2,000 years Thailand has been both a receiver and a sender of religious missions. Thus, Chiang Mai provides a superb locale for critically reexamining religious missions and interfaith relations.The complete cost for the seven-day conference (including all meals, lodging, local transportation, site visits, entertainment, and conference registration) will be $575 (U.S.). International air travel to Chiang Mai will be additional. But based on current fares, travel from the North America to Chiang Mai should be no more than between $800 and $1,200 (U.S.). The exact international travel cost will depend on the carrier and the place of origin. Optional post-conference excursions will involve some additional expense and will vary depending on the destination and length of the excursion.Details regarding procedure for registration and submitting papers, lodgings, the conference schedule, optional post-conference excursions, and travel... (shrink)

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.

This book constitutes the refereed proceedings of the 10th International Conference on Inductive Logic Programming, ILP 2000, held in London, UK in July 2000 as past of CL 2000. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 37 submissions. The papers address all current issues in inductive logic programming and inductive learning, from foundational aspects to applications in various fields like data mining, knowledge discovery, and ILP system design.

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024. -/- The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Keynote Talks; Analysis of Diagrams; Euler and Venn Diagrams; Diagrams in Logic; Diagrams and Applications; Diagram (...) Tools; Historical Aspects of Diagrams; and Posters. (shrink)

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, (...) the volume is a timely report on the state-of-the-art in the area. (shrink)

In 1997 an international conference on Aristotle and modern science took place in Thessaloniki. Aristotle’s view of nature—his criticism of the atomists, on the one hand, and modern science, on the other—seem to be widely opposed, but in recent years science has changed so much that scientists resort to certain basic notions of Aristotle’s natural philosophy to underpin their theories and make material nature more intelligible. In a first paper Hilary Putnam argues against Victor Gaston that Aristotle’s theory (...) of cognition is a “ direct realism” and not as many say a theory based on representation. Perception and thinking are in direct contact with things and their properties. In a charming comparison Bas C. van Fraassen argues that both tragedy and science are subspecies of representation. As in poetry, in science the inexplicable is kept off stage. John P. Anton is confident that the revival of Aristotle’s model of science can provide a solution to the question of the unity of the various sciences. He levels a stinging attack at Putnam’s interpretation of Aristotle’s theory of cognition. Lambros Couloubaritsis voices amazement that in Physics IV Aristotle says nothing about the creative capacity of time, but believes that the notion of “appropriate time” will bring this out. James R. Brown argues that the main stream of science stemming from the seventeenth century is a fusion of the Platonic and mechanic traditions, but that in recent years Aristotle has made an impressive comeback. He examines to what extent the notion of potentiality may be in agreement with and help explain certain physical facts perceived by common sense observation, although it does no justice to quantum “ bizarreness”. He sees better help in the Platonic account of formal causality. Speaking about levels of reality Basarab Nicolescu believes that the universe is self-creating, showing an open structure. A flow of information traverses the various levels of reality. The notion of potency, we are told by Ephtichios Bitsakis, exercises quite some attraction on scientists. Indeed, Aristotle is a precursor of scientific realism, but his theories are marred by many inconsistencies: the Prime Mover, final causality, and entelechy contradict his dynamic view of nature and should be abandoned. In the transformation of massive particles into nonmassive ones the actual mass becomes potential. Thomas M. Olshewsky points out that Aristotle has a differentiated notion of prime matter and rejects absolute prime matter. Jagdish Hattiangadi suggests giving up the idea of substance. Demetra Sfendoni-Mentzou also tackles “the always actual question” of what matter is for Aristotle. Nowadays the idea of stable particles has disappeared and we have to deal with what is potentially real. (shrink)

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. (...) They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement. (shrink)

Contributed papers chiefly with reference to India; presented at the conference held on Dec. 3-5, 2009, at KLS Institute of Management Education and Research, Belgum, India.

. Part C of this three part series is the presentation from the Oxford style debate held at the Tenth Annual International Conference Promoting Business Ethics between Laura Hartman, J.D., and Dr. Moses Pava on topics related to the EverQuest® v. EverCrack case. In a traditional Oxford style debate, two debaters take opposing viewpoints and the third debater argues the neutral position. At the Conference, the modified format featured the two debaters presenting diametrically opposing views – corporate (...) responsibility versus personal responsibility. This modified format was also used during the Ethics Awareness Week, with University professors presenting the debate before the student body. Ms. Hartman’s position focused on the personal responsibility by Mr Woolley while Dr. Pava opined that Sony Online Entertainment had corporate responsibility toward Mr. Woolley and all other individuals similarly situated. (shrink)

From the viewpoint of its Stalinist-era creators, the IKKN/INS could at best be described as a mixed success. Despite heroic efforts, it failed to train the cadres that might have permeated Polish scholarship with Marxism-Leninism. If it was the major channel for transmitting Soviet experience to Polish academia, then Poland's universities would not learn to be Soviet—the Polish historian Jerzy Halbersztadt has made the point that the institute was the only direct conduit of Soviet experience into Polish academic life. It (...) even had a major role in educating some of Poland's most famous critical thinkers, although they, unlike their master Adam Schaff, seem less fond of reminiscing about the institute. Leszek Koŀakowski writes that he does not regard his role in the ideological struggles of the early 1950s as a “source of pride”.90The legacy of the IKKN/INS has also been a mixed one. It was not only a “foundry of revisionists”. For every future critical thinker of world repute, it graduated several cadres who served the PZPR loyally over decades. Adam Schaff recognises this dual legacy. Looking back on a long and active life, he has called the institute a “pearl in my crown”.91 Its members filled top party and government posts throughout the history of People's Poland. Andrzej Werblan served as Central Committee secretary and a member of the Politburo, Sylwester Zawadzki became minister of justice, Stanisŀaw Wroński was minister of culture, Mieczysŀaw Jagielski was the Politburo member who negotiated the Gdańsk accords, Stanisŀaw Kania succeeded Edward Gierek, and Mieczysŀaw Rakowski acted as General Jaruzelski's Party First Secretary.92Undoubtedly much of the institute's strange course is to be attributed to the designs of Adam Schaff. Despite his Moscow training, Schaff retained an attachment to the Polish academic milieu which had formed him. He may have believed in Stalinist doctrine, but he also believed that this doctrine would show its superiority in competition with other views—even if the competition was far from a fair one. Of course, Schaff tried to retain ultimate control, and to play, as he now calls himself, the “grey eminence”. Nevertheless, his was a very unstalinist way of propagating Stalinism, and he must be given credit for helping to keep a spirit of intellectual inquiry alive in Poland during the dark years of the early 1950s.Yet Schaff tends to exaggerate his personal role in educating philosophers, dissidents and critical thinkers. This tendency is itself a legacy of the Stalinist period and its concentration of power. Stalinists view the present as their personal creation and therefore reject all criticisms of the past. At the final meeting of the Crooked Circle Club in 1962, Schaff encountered unwonted criticism from, among others, Andrzej Walicki. Schaff shot back at him: “You are ours, you are our creation, a creation of socialism ... we educated you, and we didn't do such a bad job.” But far from being a “creation” of Schaff's, the non-party member Walicki had been denied admission to graduate studies in philosophy. He felt relieved when those in attendance, who knew him better than Schaff did, burst out laughing.93The point is that the Polish intellectual world maintained its integrity outside the IKKN/INS, and in the end it was the institute which merged into the Polish intelligentsia, rather than the opposite. After 1957 the non-Marxist sociologists and philosophers made their way back to academia, and were joined by many former INS staff members. The basic unity of Polish social science training, and of the Polish intelligentsia, was restored.94Of course in a larger sense the fate of the IKKN/INS had little to do with the designs of its master. Schaff admits as much, proclaiming that “I did this because I did not know what I was doing!” If he had been asked to start such a project five years later, the answer would have been: “No!”95 The fatal flaw of the Institute for Training Scientific Cadres was cadres: Poland did not have them. By 1956, Schaff and the party leadership, and perhaps Soviet advisers as well, had learned that one could not create an elite party scientific institution almost out of nothing. It would either be party or scientific, because apparatchiki could not become scientists, scientists would not become apparatchiki, and students could not produce teachers. In the Stalinist period, Polish intellectual life had stood in the shadow of the party; yet during the Thaw the relationship was reversed—increasingly the tiny party training institute was engulfed by the shadow of the resurgent Polish universities. Talented young people, even those in the party, made their way into the traditional higher educational establishment.The IKKN/INS did not, therefore, fail because of its own failings, nor succeed because of its own successes. It was a failed part of a failed whole. To succeed, “mild” revolution would have required decades, and Poland's Stalinists had only a few years. To make matters worse—or better, depending on viewpoint—they did not use these years in a conventional Stalinist manner. Under Schaff's guidance and at somewhat erratic Soviet bidding, the institute became an awkward series of half-measures, reminiscent of much of Polish Stalinism. When Poland's communists fell back and regrouped in 1956, the IKKN/INS occupied a lonely position they preferred to abandon. (shrink)

This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Diagrams, Diagrams 2021, held virtually in September 2021. The 16 full papers and 25 short papers presented together with 16 posters were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: design of concrete diagrams; theory of diagrams; diagrams and mathematics; diagrams and logic; new representation systems; analysis of diagrams; diagrams and computation; cognitive analysis; (...) diagrams as structural tools; formal diagrams; and understanding thought processes. 10 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. (shrink)

This is the latest volume in the Workshops in Computing series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in (...) practice). The papers range from the theoretical studies of the logical and conceptual tools needed, to studies of various applications. The resulting volume will be of interest to researchers working in a variety of fields from philosophy, logic and legal theory, through to artificial intelligence and computer/management sciences. (shrink)

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004. The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia.

This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.

In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 21.1 (2001) 109-111 [Access article in PDF] Seventh International Buddhist-Christian Conference David W.Chappell Soka University of America Pack your bags! The annual meeting of the Society for Buddhist-Christian Studies in Nashville decided that the next international conference will be held August 5-12, 2003, in Chiang Mai, Thailand.An invitation was extended to the society by Dr. John Butt, director of the Institute for the (...) Study of Religion and Culture (ISRC), and by the president of Payap University, Dr. Boonthong Poocharoen. As a Presbyterian faculty member of the McGilvary Faculty of Theology, John has extensive interreligious experience in Thailand and participated in the society's last international conference held in Tacoma, Washington, in August 2000.The institute's associate director, Professor Saeng Chandrangam, is a former Buddhist monk and is one of Thailand's most highly respected Buddhist laymen. He was Chair of the Department of Oriental Studies and the Department of Modern Languages and was Dean of Humanities of the government's Chiang Mai University, where he taught philosophy and theology. Currently he teaches at a Buddhist university in Chiang Mai as well as serving as the associate director ofISRC. Also, Donald Swearer, who has been active with the society since the first international conference in 1980, will be in residence in Chiang Mai in the springs of 2002 and 2003 and can help plan the conference.Payap University was founded in 1974 by the Church of Christ in Thailand, a consortium ofThai Christian congregations begun by Presbyterian, American Baptist, and Disciples missionaries. However, about 95 percent of Payap University's nine thousand students are Buddhist since Chiang Mai is centrally located in the Burmese-Thai axis with the heaviest concentration of Buddhists in the world. As a result, the conference will be set in a context of Protestant missions within a Theravadin Buddhist culture. This setting will increase the presence of conservative and evangelical Christians, as well as Theravadin Buddhists, to serve as an important balance to the already strong Mahayana and Catholic dialogue leaders in our international conferences. John wrote that "Holding the next conference here would demonstrate that there are other forms of Christian faith quite different from that represented by the evangelical missionaries" and that there are other ways of understanding and approaching other different religious communities. Accordingly, a possible theme [End Page 109] might be "Rethinking Mission Motivation and Practice (both Buddhist and Christian) for the Twenty-first Century."Chiang Mai is a city of a population of about three hundred thousand that preserves much of the charm of traditional Thai culture, while also having modern conveniences like Western fast foods and ATMs, but has not yet succumbed to the congestion of Bangkok. Its weather should be in the eighties or nineties and its hotels are inexpensive (about twenty-five dollars per day for two). The meetings at Payap University will be in air-conditioned rooms in a picturesque setting. Payap has three campuses and is affiliated with the McCormick Hospital. It offers twenty-four undergraduate degrees, as well as master's degrees in divinity, linguistics, business administration, international business, Teaching English as a Foreign Language, philosophy, and Christianity.Payap University can draw on considerable experience for hosting foreign programs. The vice president for external affairs, Martha Butt (wife of John), heads a committee that has planned, developed, and operated the in-country segments of all the Thai Elderhostel programs involving over three thousand participants. Also, they will be joined by faculty members from Mahidol, Chulalongkorn, and Thammasat Universities, including Dr. Parichart Suwanbubbha of Mahidol University, a Thai Buddhist (with a degree from Chicago comparing the concepts of karma and grace), who attended the Tacoma conference in 2000.ISRC is located on the Crystal Spring campus of Payap University and was founded in 1996 to serve as a research and study center for scholars and others interested in the comparative study of religion and culture. The institute's primary goal is to provide and nurture a broad ecumenical religious vision for the people ofThailand and Southeast Asia and for others visiting or working... (shrink)